/* SPDX-FileCopyrightText: 2024 Google LLC */
/* SPDX-License-Identifier: Apache-2.0 */

#include <unistd.h>

void psleep(int millis) {}
void vTaskDelay(const uint32_t delay) {}

